<?php
setlocale(LC_ALL, "da_DK.utf8");
$a = M_PI;
echo $a, "\n";
?>
